$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. ($e$ $<$loc ${\it e'}$) $\Rightarrow$ ([$e$, ${\it e'}$] $\sim$ ([$e$, pred(${\it e'}$)] @ [${\it e'}$]))